sufficient assumptions